$\forall$$T$:Type, $a$:$T$, ${\it as}$:($T$ List), $i$:$\mathbb{Z}$. ($i$ $\leq$ 0) $\Rightarrow$ (cons($a$; ${\it as}$)[$i$] = $a$)